home *** CD-ROM | disk | FTP | other *** search
/ Linux Cubed Series 4: GNU Archives / Linux Cubed Series 4 - GNU Archives.iso / gnu / glibc-1.09 / glibc-1 / glibc-1.09.1 / malloc / ralloc.c < prev    next >
Encoding:
C/C++ Source or Header  |  1994-10-28  |  27.3 KB  |  1,089 lines
  1. /* Block-relocating memory allocator. 
  2.    Copyright (C) 1993 Free Software Foundation, Inc.
  3.  
  4.  
  5. This file is part of the GNU C Library.  Its master source is NOT part of
  6. the C library, however.  The master source lives in /gd/gnu/lib.
  7.  
  8. The GNU C Library is free software; you can redistribute it and/or
  9. modify it under the terms of the GNU Library General Public License as
  10. published by the Free Software Foundation; either version 2 of the
  11. License, or (at your option) any later version.
  12.  
  13. The GNU C Library is distributed in the hope that it will be useful,
  14. but WITHOUT ANY WARRANTY; without even the implied warranty of
  15. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  16. Library General Public License for more details.
  17.  
  18. You should have received a copy of the GNU Library General Public
  19. License along with the GNU C Library; see the file COPYING.LIB.  If
  20. not, write to the Free Software Foundation, Inc., 675 Mass Ave,
  21. Cambridge, MA 02139, USA.  */
  22.  
  23. /* NOTES:
  24.  
  25.    Only relocate the blocs necessary for SIZE in r_alloc_sbrk,
  26.    rather than all of them.  This means allowing for a possible
  27.    hole between the first bloc and the end of malloc storage.  */
  28.  
  29. #ifdef emacs
  30.  
  31. #include <config.h>
  32. #include "lisp.h"        /* Needed for VALBITS.  */
  33.  
  34. #undef NULL
  35.  
  36. /* The important properties of this type are that 1) it's a pointer, and
  37.    2) arithmetic on it should work as if the size of the object pointed
  38.    to has a size of 1.  */
  39. #if 0 /* Arithmetic on void* is a GCC extension.  */
  40. #ifdef __STDC__
  41. typedef void *POINTER;
  42. #else
  43.  
  44. #ifdef    HAVE_CONFIG_H
  45. #include "config.h"
  46. #endif
  47.  
  48. typedef char *POINTER;
  49.  
  50. #endif
  51. #endif /* 0 */
  52.  
  53. /* Unconditionally use char * for this.  */
  54. typedef char *POINTER;
  55.  
  56. typedef unsigned long SIZE;
  57.  
  58. /* Declared in dispnew.c, this version doesn't screw up if regions
  59.    overlap.  */
  60. extern void safe_bcopy ();
  61.  
  62. #include "getpagesize.h"
  63.  
  64. #else    /* Not emacs.  */
  65.  
  66. #include <stddef.h>
  67.  
  68. typedef size_t SIZE;
  69. typedef void *POINTER;
  70.  
  71. #include <unistd.h>
  72. #include <malloc.h>
  73. #include <string.h>
  74.  
  75. #define safe_bcopy(x, y, z) memmove (y, x, z)
  76.  
  77. #endif    /* emacs.  */
  78.  
  79. #define NIL ((POINTER) 0)
  80.  
  81. /* A flag to indicate whether we have initialized ralloc yet.  For
  82.    Emacs's sake, please do not make this local to malloc_init; on some
  83.    machines, the dumping procedure makes all static variables
  84.    read-only.  On these machines, the word static is #defined to be
  85.    the empty string, meaning that r_alloc_initialized becomes an
  86.    automatic variable, and loses its value each time Emacs is started up.  */
  87. static int r_alloc_initialized = 0;
  88.  
  89. static void r_alloc_init ();
  90.  
  91. /* Declarations for working with the malloc, ralloc, and system breaks.  */
  92.  
  93. /* Function to set the real break value.  */
  94. static POINTER (*real_morecore) ();
  95.  
  96. /* The break value, as seen by malloc.  */
  97. static POINTER virtual_break_value;
  98.  
  99. /* The address of the end of the last data in use by ralloc,
  100.    including relocatable blocs as well as malloc data.  */
  101. static POINTER break_value;
  102.  
  103. /* This is the size of a page.  We round memory requests to this boundary.  */
  104. static int page_size;
  105.  
  106. /* Whenever we get memory from the system, get this many extra bytes.  This 
  107.    must be a multiple of page_size.  */
  108. static int extra_bytes;
  109.  
  110. /* Macros for rounding.  Note that rounding to any value is possible
  111.    by changing the definition of PAGE.  */
  112. #define PAGE (getpagesize ())
  113. #define ALIGNED(addr) (((unsigned long int) (addr) & (page_size - 1)) == 0)
  114. #define ROUNDUP(size) (((unsigned long int) (size) + page_size - 1) \
  115.                & ~(page_size - 1))
  116. #define ROUND_TO_PAGE(addr) (addr & (~(page_size - 1)))
  117.  
  118. #define MEM_ALIGN sizeof(double)
  119. #define MEM_ROUNDUP(addr) (((unsigned long int)(addr) + MEM_ALIGN - 1) \
  120.                    & ~(MEM_ALIGN - 1))
  121.  
  122. /* Data structures of heaps and blocs.  */
  123.  
  124. /* The relocatable objects, or blocs, and the malloc data
  125.    both reside within one or more heaps.
  126.    Each heap contains malloc data, running from `start' to `bloc_start',
  127.    and relocatable objects, running from `bloc_start' to `free'.
  128.  
  129.    Relocatable objects may relocate within the same heap
  130.    or may move into another heap; the heaps themselves may grow
  131.    but they never move.
  132.  
  133.    We try to make just one heap and make it larger as necessary.
  134.    But sometimes we can't do that, because we can't get continguous
  135.    space to add onto the heap.  When that happens, we start a new heap.  */
  136.    
  137. typedef struct heap
  138. {
  139.   struct heap *next;
  140.   struct heap *prev;
  141.   /* Start of memory range of this heap.  */
  142.   POINTER start;
  143.   /* End of memory range of this heap.  */
  144.   POINTER end;
  145.   /* Start of relocatable data in this heap.  */
  146.   POINTER bloc_start;
  147.   /* Start of unused space in this heap.  */
  148.   POINTER free;
  149.   /* First bloc in this heap.  */
  150.   struct bp *first_bloc;
  151.   /* Last bloc in this heap.  */
  152.   struct bp *last_bloc;
  153. } *heap_ptr;
  154.  
  155. #define NIL_HEAP ((heap_ptr) 0)
  156. #define HEAP_PTR_SIZE (sizeof (struct heap))
  157.  
  158. /* This is the first heap object.
  159.    If we need additional heap objects, each one resides at the beginning of
  160.    the space it covers.   */
  161. static struct heap heap_base;
  162.  
  163. /* Head and tail of the list of heaps.  */
  164. static heap_ptr first_heap, last_heap;
  165.  
  166. /* These structures are allocated in the malloc arena.
  167.    The linked list is kept in order of increasing '.data' members.
  168.    The data blocks abut each other; if b->next is non-nil, then
  169.    b->data + b->size == b->next->data.  */
  170. typedef struct bp
  171. {
  172.   struct bp *next;
  173.   struct bp *prev;
  174.   POINTER *variable;
  175.   POINTER data;
  176.   SIZE size;
  177.   POINTER new_data;        /* tmporarily used for relocation */
  178.   /* Heap this bloc is in.  */
  179.   struct heap *heap;
  180. } *bloc_ptr;
  181.  
  182. #define NIL_BLOC ((bloc_ptr) 0)
  183. #define BLOC_PTR_SIZE (sizeof (struct bp))
  184.  
  185. /* Head and tail of the list of relocatable blocs.  */
  186. static bloc_ptr first_bloc, last_bloc;
  187.  
  188.  
  189. /* Functions to get and return memory from the system.  */
  190.  
  191. /* Find the heap that ADDRESS falls within.  */
  192.  
  193. static heap_ptr
  194. find_heap (address)
  195.     POINTER address;
  196. {
  197.   heap_ptr heap;
  198.  
  199.   for (heap = last_heap; heap; heap = heap->prev)
  200.     {
  201.       if (heap->start <= address && address <= heap->end)
  202.     return heap;
  203.     }
  204.  
  205.   return NIL_HEAP;
  206. }
  207.  
  208. /* Find SIZE bytes of space in a heap.
  209.    Try to get them at ADDRESS (which must fall within some heap's range)
  210.    if we can get that many within one heap.
  211.  
  212.    If enough space is not presently available in our reserve, this means
  213.    getting more page-aligned space from the system. If the retuned space
  214.    is not contiguos to the last heap, allocate a new heap, and append it
  215.  
  216.    obtain does not try to keep track of whether space is in use
  217.    or not in use.  It just returns the address of SIZE bytes that
  218.    fall within a single heap.  If you call obtain twice in a row
  219.    with the same arguments, you typically get the same value.
  220.    to the heap list.  It's the caller's responsibility to keep
  221.    track of what space is in use.
  222.  
  223.    Return the address of the space if all went well, or zero if we couldn't
  224.    allocate the memory.  */
  225.  
  226. static POINTER
  227. obtain (address, size)
  228.     POINTER address;
  229.     SIZE size;
  230. {
  231.   heap_ptr heap;
  232.   SIZE already_available;
  233.  
  234.   /* Find the heap that ADDRESS falls within.  */
  235.   for (heap = last_heap; heap; heap = heap->prev)
  236.     {
  237.       if (heap->start <= address && address <= heap->end)
  238.     break;
  239.     }
  240.  
  241.   if (! heap)
  242.     abort ();
  243.  
  244.   /* If we can't fit SIZE bytes in that heap,
  245.      try successive later heaps.  */
  246.   while (heap && address + size > heap->end)
  247.     {
  248.       heap = heap->next;
  249.       if (heap == NIL_HEAP)
  250.     break;
  251.       address = heap->bloc_start;
  252.     }
  253.  
  254.   /* If we can't fit them within any existing heap,
  255.      get more space.  */
  256.   if (heap == NIL_HEAP)
  257.     {
  258.       POINTER new = (*real_morecore)(0);
  259.       SIZE get;
  260.  
  261.       already_available = (char *)last_heap->end - (char *)address;
  262.  
  263.       if (new != last_heap->end)
  264.     {
  265.       /* Someone else called sbrk.  Make a new heap.  */
  266.  
  267.       heap_ptr new_heap = (heap_ptr) MEM_ROUNDUP (new);
  268.       POINTER bloc_start = (POINTER) MEM_ROUNDUP ((POINTER)(new_heap + 1));
  269.  
  270.       if ((*real_morecore) (bloc_start - new) != new)
  271.         return 0;
  272.  
  273.       new_heap->start = new;
  274.       new_heap->end = bloc_start;
  275.       new_heap->bloc_start = bloc_start;
  276.       new_heap->free = bloc_start;
  277.       new_heap->next = NIL_HEAP;
  278.       new_heap->prev = last_heap;
  279.       new_heap->first_bloc = NIL_BLOC;
  280.       new_heap->last_bloc = NIL_BLOC;
  281.       last_heap->next = new_heap;
  282.       last_heap = new_heap;
  283.  
  284.       address = bloc_start;
  285.       already_available = 0;
  286.     }
  287.  
  288.       /* Add space to the last heap (which we may have just created).
  289.      Get some extra, so we can come here less often.  */
  290.  
  291.       get = size + extra_bytes - already_available;
  292.       get = (char *) ROUNDUP ((char *)last_heap->end + get)
  293.     - (char *) last_heap->end;
  294.  
  295.       if ((*real_morecore) (get) != last_heap->end)
  296.     return 0;
  297.  
  298.       last_heap->end += get;
  299.     }
  300.  
  301.   return address;
  302. }
  303.  
  304. /* Return unused heap space to the system
  305.    if there is a lot of unused space now.
  306.    This can make the last heap smaller;
  307.    it can also eliminate the last heap entirely.  */
  308.  
  309. static void
  310. relinquish ()
  311. {
  312.   register heap_ptr h;
  313.   int excess = 0;
  314.  
  315.   /* Add the amount of space beyond break_value
  316.      in all heaps which have extend beyond break_value at all.  */
  317.  
  318.   for (h = last_heap; h && break_value < h->end; h = h->prev)
  319.     {
  320.       excess += (char *) h->end - (char *) ((break_value < h->bloc_start)
  321.                         ? h->bloc_start : break_value);
  322.     }
  323.  
  324.   if (excess > extra_bytes * 2 && (*real_morecore) (0) == last_heap->end)
  325.     {
  326.       /* Keep extra_bytes worth of empty space.
  327.      And don't free anything unless we can free at least extra_bytes.  */
  328.       excess -= extra_bytes;
  329.  
  330.       if ((char *)last_heap->end - (char *)last_heap->bloc_start <= excess)
  331.     {
  332.       /* This heap should have no blocs in it.  */
  333.       if (last_heap->first_bloc != NIL_BLOC
  334.           || last_heap->last_bloc != NIL_BLOC)
  335.         abort ();
  336.  
  337.       /* Return the last heap, with its header, to the system.  */
  338.       excess = (char *)last_heap->end - (char *)last_heap->start;
  339.       last_heap = last_heap->prev;
  340.       last_heap->next = NIL_HEAP;
  341.     }
  342.       else
  343.     {
  344.       excess = (char *) last_heap->end
  345.             - (char *) ROUNDUP ((char *)last_heap->end - excess);
  346.       last_heap->end -= excess;
  347.     }
  348.  
  349.       if ((*real_morecore) (- excess) == 0)
  350.     abort ();
  351.     }
  352. }
  353.  
  354. /* The meat - allocating, freeing, and relocating blocs.  */
  355.  
  356. /* Find the bloc referenced by the address in PTR.  Returns a pointer
  357.    to that block.  */
  358.  
  359. static bloc_ptr
  360. find_bloc (ptr)
  361.      POINTER *ptr;
  362. {
  363.   register bloc_ptr p = first_bloc;
  364.  
  365.   while (p != NIL_BLOC)
  366.     {
  367.       if (p->variable == ptr && p->data == *ptr)
  368.     return p;
  369.  
  370.       p = p->next;
  371.     }
  372.  
  373.   return p;
  374. }
  375.  
  376. /* Allocate a bloc of SIZE bytes and append it to the chain of blocs.
  377.    Returns a pointer to the new bloc, or zero if we couldn't allocate
  378.    memory for the new block.  */
  379.  
  380. static bloc_ptr
  381. get_bloc (size)
  382.      SIZE size;
  383. {
  384.   register bloc_ptr new_bloc;
  385.   register heap_ptr heap;
  386.  
  387.   if (! (new_bloc = (bloc_ptr) malloc (BLOC_PTR_SIZE))
  388.       || ! (new_bloc->data = obtain (break_value, size)))
  389.     {
  390.       if (new_bloc)
  391.     free (new_bloc);
  392.  
  393.       return 0;
  394.     }
  395.  
  396.   break_value = new_bloc->data + size;
  397.  
  398.   new_bloc->size = size;
  399.   new_bloc->next = NIL_BLOC;
  400.   new_bloc->variable = (POINTER *) NIL;
  401.   new_bloc->new_data = 0;
  402.  
  403.   /* Record in the heap that this space is in use.  */
  404.   heap = find_heap (new_bloc->data);
  405.   heap->free = break_value;
  406.  
  407.   /* Maintain the correspondence between heaps and blocs.  */
  408.   new_bloc->heap = heap;
  409.   heap->last_bloc = new_bloc;
  410.   if (heap->first_bloc == NIL_BLOC)
  411.     heap->first_bloc = new_bloc;
  412.  
  413.   /* Put this bloc on the doubly-linked list of blocs.  */
  414.   if (first_bloc)
  415.     {
  416.       new_bloc->prev = last_bloc;
  417.       last_bloc->next = new_bloc;
  418.       last_bloc = new_bloc;
  419.     }
  420.   else
  421.     {
  422.       first_bloc = last_bloc = new_bloc;
  423.       new_bloc->prev = NIL_BLOC;
  424.     }
  425.  
  426.   return new_bloc;
  427. }
  428.  
  429. /* Calculate new locations of blocs in the list beginning with BLOC,
  430.    relocating it to start at ADDRESS, in heap HEAP.  If enough space is
  431.    not presently available in our reserve, call obtain for
  432.    more space. 
  433.    
  434.    Store the new location of each bloc in its new_data field.
  435.    Do not touch the contents of blocs or break_value.  */
  436.  
  437. static int
  438. relocate_blocs (bloc, heap, address)
  439.     bloc_ptr bloc;
  440.     heap_ptr heap;
  441.     POINTER address;
  442. {
  443.   register bloc_ptr b = bloc;
  444.  
  445.   while (b)
  446.     {
  447.       /* If bloc B won't fit within HEAP,
  448.      move to the next heap and try again.  */
  449.       while (heap && address + b->size > heap->end)
  450.     {
  451.       heap = heap->next;
  452.       if (heap == NIL_HEAP)
  453.         break;
  454.       address = heap->bloc_start;
  455.     }
  456.  
  457.       /* If BLOC won't fit in any heap,
  458.      get enough new space to hold BLOC and all following blocs.  */
  459.       if (heap == NIL_HEAP)
  460.     {
  461.       register bloc_ptr tb = b;
  462.       register SIZE s = 0;
  463.  
  464.       /* Add up the size of all the following blocs.  */
  465.       while (tb != NIL_BLOC)
  466.         {
  467.           s += tb->size;
  468.           tb = tb->next;
  469.         }
  470.  
  471.       /* Get that space.  */
  472.       address = obtain (address, s);
  473.       if (address == 0)
  474.         return 0;
  475.  
  476.       heap = last_heap;
  477.     }
  478.  
  479.       /* Record the new address of this bloc
  480.      and update where the next bloc can start.  */
  481.       b->new_data = address;
  482.       address += b->size;
  483.       b = b->next;
  484.     }
  485.  
  486.   return 1;
  487. }
  488.  
  489. /* Reorder the bloc BLOC to go before bloc BEFORE in the doubly linked list.
  490.    This is necessary if we put the memory of space of BLOC
  491.    before that of BEFORE.  */
  492.  
  493. static void
  494. reorder_bloc (bloc, before)
  495.      bloc_ptr bloc, before;
  496. {
  497.   bloc_ptr prev, next;
  498.  
  499.   /* Splice BLOC out from where it is.  */
  500.   prev = bloc->prev;
  501.   next = bloc->next;
  502.  
  503.   if (prev)
  504.     prev->next = next;
  505.   if (next)
  506.     next->prev = prev;
  507.  
  508.   /* Splice it in before BEFORE.  */
  509.   prev = before->prev;
  510.  
  511.   if (prev)
  512.     prev->next = bloc;
  513.   bloc->prev = prev;
  514.  
  515.   before->prev = bloc;
  516.   bloc->next = before;
  517. }
  518.  
  519. /* Update the records of which heaps contain which blocs, starting
  520.    with heap HEAP and bloc BLOC.  */
  521.  
  522. static void
  523. update_heap_bloc_correspondence (bloc, heap)
  524.      bloc_ptr bloc;
  525.      heap_ptr heap;
  526. {
  527.   register bloc_ptr b;
  528.  
  529.   /* Initialize HEAP's status to reflect blocs before BLOC.  */
  530.   if (bloc != NIL_BLOC && bloc->prev != NIL_BLOC && bloc->prev->heap == heap)
  531.     {
  532.       /* The previous bloc is in HEAP.  */
  533.       heap->last_bloc = bloc->prev;
  534.       heap->free = bloc->prev->data + bloc->prev->size;
  535.     }
  536.   else
  537.     {
  538.       /* HEAP contains no blocs before BLOC.  */
  539.       heap->first_bloc = NIL_BLOC;
  540.       heap->last_bloc = NIL_BLOC;
  541.       heap->free = heap->bloc_start;
  542.     }
  543.  
  544.   /* Advance through blocs one by one.  */
  545.   for (b = bloc; b != NIL_BLOC; b = b->next)
  546.     {
  547.       /* Advance through heaps, marking them empty,
  548.      till we get to the one that B is in.  */
  549.       while (heap)
  550.     {
  551.       if (heap->bloc_start <= b->data && b->data <= heap->end)
  552.         break;
  553.       heap = heap->next;
  554.       /* We know HEAP is not null now,
  555.          because there has to be space for bloc B.  */
  556.       heap->first_bloc = NIL_BLOC;
  557.       heap->last_bloc = NIL_BLOC;
  558.       heap->free = heap->bloc_start;
  559.     }
  560.  
  561.       /* Update HEAP's status for bloc B.  */
  562.       heap->free = b->data + b->size;
  563.       heap->last_bloc = b;
  564.       if (heap->first_bloc == NIL_BLOC)
  565.     heap->first_bloc = b;
  566.  
  567.       /* Record that B is in HEAP.  */
  568.       b->heap = heap;
  569.     }
  570.  
  571.   /* If there are any remaining heaps and no blocs left,
  572.      mark those heaps as empty.  */
  573.   heap = heap->next;
  574.   while (heap)
  575.     {
  576.       heap->first_bloc = NIL_BLOC;
  577.       heap->last_bloc = NIL_BLOC;
  578.       heap->free = heap->bloc_start;
  579.       heap = heap->next;
  580.     }
  581. }
  582.  
  583. /* Resize BLOC to SIZE bytes.  This relocates the blocs
  584.    that come after BLOC in memory.  */
  585.  
  586. static int
  587. resize_bloc (bloc, size)
  588.     bloc_ptr bloc;
  589.     SIZE size;
  590. {
  591.   register bloc_ptr b;
  592.   heap_ptr heap;
  593.   POINTER address;
  594.   SIZE old_size;
  595.  
  596.   if (bloc == NIL_BLOC || size == bloc->size)
  597.     return 1;
  598.  
  599.   for (heap = first_heap; heap != NIL_HEAP; heap = heap->next)
  600.     {
  601.       if (heap->bloc_start <= bloc->data && bloc->data <= heap->end)
  602.     break;
  603.     }
  604.  
  605.   if (heap == NIL_HEAP)
  606.     abort ();
  607.  
  608.   old_size = bloc->size;
  609.   bloc->size = size;
  610.  
  611.   /* Note that bloc could be moved into the previous heap.  */
  612.   address = (bloc->prev ? bloc->prev->data + bloc->prev->size
  613.          : first_heap->bloc_start);
  614.   while (heap)
  615.     {
  616.       if (heap->bloc_start <= address && address <= heap->end)
  617.     break;
  618.       heap = heap->prev;
  619.     }
  620.  
  621.   if (! relocate_blocs (bloc, heap, address))
  622.     {
  623.       bloc->size = old_size;
  624.       return 0;
  625.     }
  626.  
  627.   if (size > old_size)
  628.     {
  629.       for (b = last_bloc; b != bloc; b = b->prev)
  630.     {
  631.       safe_bcopy (b->data, b->new_data, b->size);
  632.       *b->variable = b->data = b->new_data;
  633.     }
  634.       safe_bcopy (bloc->data, bloc->new_data, old_size);
  635.       bzero (bloc->new_data + old_size, size - old_size);
  636.       *bloc->variable = bloc->data = bloc->new_data;
  637.     }
  638.   else
  639.     {
  640.       for (b = bloc; b != NIL_BLOC; b = b->next)
  641.     {
  642.       safe_bcopy (b->data, b->new_data, b->size);
  643.       *b->variable = b->data = b->new_data;
  644.     }
  645.     }
  646.  
  647.   update_heap_bloc_correspondence (bloc, heap);
  648.  
  649.   break_value = (last_bloc ? last_bloc->data + last_bloc->size
  650.          : first_heap->bloc_start);
  651.   return 1;
  652. }
  653.  
  654. /* Free BLOC from the chain of blocs, relocating any blocs above it.
  655.    This may return space to the system.  */
  656.  
  657. static void
  658. free_bloc (bloc)
  659.      bloc_ptr bloc;
  660. {
  661.   heap_ptr heap = bloc->heap;
  662.  
  663.   resize_bloc (bloc, 0);
  664.  
  665.   if (bloc == first_bloc && bloc == last_bloc)
  666.     {
  667.       first_bloc = last_bloc = NIL_BLOC;
  668.     }
  669.   else if (bloc == last_bloc)
  670.     {
  671.       last_bloc = bloc->prev;
  672.       last_bloc->next = NIL_BLOC;
  673.     }
  674.   else if (bloc == first_bloc)
  675.     {
  676.       first_bloc = bloc->next;
  677.       first_bloc->prev = NIL_BLOC;
  678.     }
  679.   else
  680.     {
  681.       bloc->next->prev = bloc->prev;
  682.       bloc->prev->next = bloc->next;
  683.     }
  684.  
  685.   /* Update the records of which blocs are in HEAP.  */
  686.   if (heap->first_bloc == bloc)
  687.     {
  688.       if (bloc->next->heap == heap)
  689.     heap->first_bloc = bloc->next;
  690.       else
  691.     heap->first_bloc = heap->last_bloc = NIL_BLOC;
  692.     }
  693.   if (heap->last_bloc == bloc)
  694.     {
  695.       if (bloc->prev->heap == heap)
  696.     heap->last_bloc = bloc->prev;
  697.       else
  698.     heap->first_bloc = heap->last_bloc = NIL_BLOC;
  699.     }
  700.  
  701.   relinquish ();
  702.   free (bloc);
  703. }
  704.  
  705. /* Interface routines.  */
  706.  
  707. static int use_relocatable_buffers;
  708. static int r_alloc_freeze_level;
  709.  
  710. /* Obtain SIZE bytes of storage from the free pool, or the system, as
  711.    necessary.  If relocatable blocs are in use, this means relocating
  712.    them.  This function gets plugged into the GNU malloc's __morecore
  713.    hook.
  714.  
  715.    We provide hysteresis, never relocating by less than extra_bytes.
  716.  
  717.    If we're out of memory, we should return zero, to imitate the other
  718.    __morecore hook values - in particular, __default_morecore in the
  719.    GNU malloc package.  */
  720.  
  721. POINTER 
  722. r_alloc_sbrk (size)
  723.      long size;
  724. {
  725.   register bloc_ptr b;
  726.   POINTER address;
  727.  
  728.   if (! use_relocatable_buffers)
  729.     return (*real_morecore) (size);
  730.  
  731.   if (size == 0)
  732.     return virtual_break_value;
  733.  
  734.   if (size > 0)
  735.     {
  736.       /* Allocate a page-aligned space.  GNU malloc would reclaim an
  737.      extra space if we passed an unaligned one.  But we could
  738.      not always find a space which is contiguos to the previous.  */
  739.       POINTER new_bloc_start;
  740.       heap_ptr h = first_heap;
  741.       SIZE get = ROUNDUP (size);
  742.  
  743.       address = (POINTER) ROUNDUP (virtual_break_value);
  744.  
  745.       /* Search the list upward for a heap which is large enough.  */
  746.       while ((char *) h->end < (char *) MEM_ROUNDUP ((char *)address + get))
  747.     {
  748.       h = h->next;
  749.       if (h == NIL_HEAP)
  750.         break;
  751.       address = (POINTER) ROUNDUP (h->start);
  752.     }
  753.  
  754.       /* If not found, obtain more space.  */
  755.       if (h == NIL_HEAP)
  756.     {
  757.       get += extra_bytes + page_size;
  758.  
  759.       if (r_alloc_freeze_level > 0 || ! obtain (address, get))
  760.         return 0;
  761.  
  762.       if (first_heap == last_heap)
  763.         address = (POINTER) ROUNDUP (virtual_break_value);
  764.       else
  765.         address = (POINTER) ROUNDUP (last_heap->start);
  766.       h = last_heap;
  767.     }
  768.  
  769.       new_bloc_start = (POINTER) MEM_ROUNDUP ((char *)address + get);
  770.  
  771.       if (first_heap->bloc_start < new_bloc_start)
  772.     {
  773.       /* Move all blocs upward.  */
  774.       if (r_alloc_freeze_level > 0
  775.           || ! relocate_blocs (first_bloc, h, new_bloc_start))
  776.         return 0;
  777.  
  778.       /* Note that (POINTER)(h+1) <= new_bloc_start since
  779.          get >= page_size, so the following does not destroy the heap
  780.          header.  */
  781.       for (b = last_bloc; b != NIL_BLOC; b = b->prev)
  782.         {
  783.           safe_bcopy (b->data, b->new_data, b->size);
  784.           *b->variable = b->data = b->new_data;
  785.         }
  786.  
  787.       h->bloc_start = new_bloc_start;
  788.  
  789.       update_heap_bloc_correspondence (first_bloc, h);
  790.     }
  791.  
  792.       if (h != first_heap)
  793.     {
  794.       /* Give up managing heaps below the one the new
  795.          virtual_break_value points to.  */
  796.       first_heap->prev = NIL_HEAP;
  797.       first_heap->next = h->next;
  798.       first_heap->start = h->start;
  799.       first_heap->end = h->end;
  800.       first_heap->free = h->free;
  801.       first_heap->first_bloc = h->first_bloc;
  802.       first_heap->last_bloc = h->last_bloc;
  803.       first_heap->bloc_start = h->bloc_start;
  804.  
  805.       if (first_heap->next)
  806.         first_heap->next->prev = first_heap;
  807.       else
  808.         last_heap = first_heap;
  809.     }
  810.  
  811.       bzero (address, size);
  812.     }
  813.   else /* size < 0 */
  814.     {
  815.       SIZE excess = (char *)first_heap->bloc_start
  816.               - ((char *)virtual_break_value + size);
  817.  
  818.       address = virtual_break_value;
  819.  
  820.       if (r_alloc_freeze_level == 0 && excess > 2 * extra_bytes)
  821.     {
  822.       excess -= extra_bytes;
  823.       first_heap->bloc_start
  824.         = (POINTER) MEM_ROUNDUP ((char *)first_heap->bloc_start - excess);
  825.  
  826.       relocate_blocs (first_bloc, first_heap, first_heap->bloc_start);
  827.  
  828.       for (b = first_bloc; b != NIL_BLOC; b = b->next)
  829.         {
  830.           safe_bcopy (b->data, b->new_data, b->size);
  831.           *b->variable = b->data = b->new_data;
  832.         }
  833.     }
  834.  
  835.       if ((char *)virtual_break_value + size < (char *)first_heap->start)
  836.     {
  837.       /* We found an additional space below the first heap */
  838.       first_heap->start = (POINTER) ((char *)virtual_break_value + size);
  839.     }
  840.     }
  841.  
  842.   virtual_break_value = (POINTER) ((char *)address + size);
  843.   break_value = (last_bloc
  844.          ? last_bloc->data + last_bloc->size
  845.          : first_heap->bloc_start);
  846.   if (size < 0)
  847.     relinquish ();
  848.  
  849.   return address;
  850. }
  851.  
  852. /* Allocate a relocatable bloc of storage of size SIZE.  A pointer to
  853.    the data is returned in *PTR.  PTR is thus the address of some variable
  854.    which will use the data area.
  855.  
  856.    If we can't allocate the necessary memory, set *PTR to zero, and
  857.    return zero.  */
  858.  
  859. POINTER
  860. r_alloc (ptr, size)
  861.      POINTER *ptr;
  862.      SIZE size;
  863. {
  864.   register bloc_ptr new_bloc;
  865.  
  866.   if (! r_alloc_initialized)
  867.     r_alloc_init ();
  868.  
  869.   new_bloc = get_bloc (MEM_ROUNDUP (size));
  870.   if (new_bloc)
  871.     {
  872.       new_bloc->variable = ptr;
  873.       *ptr = new_bloc->data;
  874.     }
  875.   else
  876.     *ptr = 0;
  877.  
  878.   return *ptr;
  879. }
  880.  
  881. /* Free a bloc of relocatable storage whose data is pointed to by PTR.
  882.    Store 0 in *PTR to show there's no block allocated.  */
  883.  
  884. void
  885. r_alloc_free (ptr)
  886.      register POINTER *ptr;
  887. {
  888.   register bloc_ptr dead_bloc;
  889.  
  890.   dead_bloc = find_bloc (ptr);
  891.   if (dead_bloc == NIL_BLOC)
  892.     abort ();
  893.  
  894.   free_bloc (dead_bloc);
  895.   *ptr = 0;
  896. }
  897.  
  898. /* Given a pointer at address PTR to relocatable data, resize it to SIZE.
  899.    Do this by shifting all blocks above this one up in memory, unless
  900.    SIZE is less than or equal to the current bloc size, in which case
  901.    do nothing.
  902.  
  903.    Change *PTR to reflect the new bloc, and return this value.
  904.  
  905.    If more memory cannot be allocated, then leave *PTR unchanged, and
  906.    return zero.  */
  907.  
  908. POINTER
  909. r_re_alloc (ptr, size)
  910.      POINTER *ptr;
  911.      SIZE size;
  912. {
  913.   register bloc_ptr bloc;
  914.  
  915.   bloc = find_bloc (ptr);
  916.   if (bloc == NIL_BLOC)
  917.     abort ();
  918.  
  919.   if (size <= bloc->size)
  920.     /* Wouldn't it be useful to actually resize the bloc here?  */
  921.     return *ptr;
  922.  
  923.   if (! resize_bloc (bloc, MEM_ROUNDUP (size)))
  924.     return 0;
  925.  
  926.   return *ptr;
  927. }
  928.  
  929. /* Disable relocations, after making room for at least SIZE bytes
  930.    of non-relocatable heap if possible.  The relocatable blocs are
  931.    guaranteed to hold still until thawed, even if this means that
  932.    malloc must return a null pointer.  */
  933.  
  934. void
  935. r_alloc_freeze (size)
  936.      long size;
  937. {
  938.   /* If already frozen, we can't make any more room, so don't try.  */
  939.   if (r_alloc_freeze_level > 0)
  940.     size = 0;
  941.   /* If we can't get the amount requested, half is better than nothing.  */
  942.   while (size > 0 && r_alloc_sbrk (size) == 0)
  943.     size /= 2;
  944.   ++r_alloc_freeze_level;
  945.   if (size > 0)
  946.     r_alloc_sbrk (-size);
  947. }
  948.  
  949. void
  950. r_alloc_thaw ()
  951. {
  952.   if (--r_alloc_freeze_level < 0)
  953.     abort ();
  954. }
  955.  
  956. /* The hook `malloc' uses for the function which gets more space
  957.    from the system.  */
  958. extern POINTER (*__morecore) ();
  959.  
  960. /* Initialize various things for memory allocation.  */
  961.  
  962. static void
  963. r_alloc_init ()
  964. {
  965.   POINTER end;
  966.  
  967.   if (r_alloc_initialized)
  968.     return;
  969.  
  970.   r_alloc_initialized = 1;
  971.   real_morecore = __morecore;
  972.   __morecore = r_alloc_sbrk;
  973.  
  974.   first_heap = last_heap = &heap_base;
  975.   first_heap->next = first_heap->prev = NIL_HEAP;
  976.   first_heap->start = first_heap->bloc_start
  977.     = virtual_break_value = break_value = (*real_morecore) (0);
  978.   if (break_value == NIL)
  979.     abort ();
  980.  
  981.   page_size = PAGE;
  982.   extra_bytes = ROUNDUP (50000);
  983.  
  984.   first_heap->end = (POINTER) ROUNDUP (first_heap->start);
  985.  
  986.   /* The extra call to real_morecore guarantees that the end of the
  987.      address space is a multiple of page_size, even if page_size is
  988.      not really the page size of the system running the binary in
  989.      which page_size is stored.  This allows a binary to be built on a
  990.      system with one page size and run on a system with a smaller page
  991.      size.  */
  992.   (*real_morecore) (first_heap->end - first_heap->start);
  993.  
  994.   /* Clear the rest of the last page; this memory is in our address space
  995.      even though it is after the sbrk value.  */
  996.   /* Doubly true, with the additional call that explicitly adds the
  997.      rest of that page to the address space.  */
  998.   bzero (first_heap->start, first_heap->end - first_heap->start);
  999.   virtual_break_value = break_value = first_heap->bloc_start = first_heap->end;
  1000.   use_relocatable_buffers = 1;
  1001. }
  1002. #ifdef DEBUG
  1003. #include <assert.h>
  1004.  
  1005. int
  1006. r_alloc_check ()
  1007. {
  1008.     int found = 0;
  1009.     heap_ptr h, ph = 0;
  1010.     bloc_ptr b, pb = 0;
  1011.  
  1012.     if (!r_alloc_initialized)
  1013.       return;
  1014.  
  1015.     assert (first_heap);
  1016.     assert (last_heap->end <= (POINTER) sbrk (0));
  1017.     assert ((POINTER) first_heap < first_heap->start);
  1018.     assert (first_heap->start <= virtual_break_value);
  1019.     assert (virtual_break_value <= first_heap->end);
  1020.  
  1021.     for (h = first_heap; h; h = h->next)
  1022.       {
  1023.     assert (h->prev == ph);
  1024.     assert ((POINTER) ROUNDUP (h->end) == h->end);
  1025.     assert ((POINTER) MEM_ROUNDUP (h->start) == h->start);
  1026.     assert ((POINTER) MEM_ROUNDUP (h->bloc_start) == h->bloc_start);
  1027.     assert (h->start <= h->bloc_start && h->bloc_start <= h->end);
  1028.  
  1029.     if (ph)
  1030.       {
  1031.         assert (ph->end < h->start);
  1032.         assert (h->start <= (POINTER)h && (POINTER)(h+1) <= h->bloc_start);
  1033.       }
  1034.  
  1035.     if (h->bloc_start <= break_value && break_value <= h->end)
  1036.         found = 1;
  1037.  
  1038.     ph = h;
  1039.       }
  1040.  
  1041.     assert (found);
  1042.     assert (last_heap == ph);
  1043.  
  1044.     for (b = first_bloc; b; b = b->next)
  1045.       {
  1046.     assert (b->prev == pb);
  1047.     assert ((POINTER) MEM_ROUNDUP (b->data) == b->data);
  1048.     assert ((SIZE) MEM_ROUNDUP (b->size) == b->size);
  1049.  
  1050.     ph = 0;
  1051.     for (h = first_heap; h; h = h->next)
  1052.       {
  1053.         if (h->bloc_start <= b->data && b->data + b->size <= h->end)
  1054.         break;
  1055.         ph = h;
  1056.       }
  1057.  
  1058.     assert (h);
  1059.  
  1060.     if (pb && pb->data + pb->size != b->data)
  1061.       {
  1062.         assert (ph && b->data == h->bloc_start);
  1063.         while (ph)
  1064.           {
  1065.         if (ph->bloc_start <= pb->data
  1066.             && pb->data + pb->size <= ph->end)
  1067.           {
  1068.             assert (pb->data + pb->size + b->size > ph->end);
  1069.             break;
  1070.           }
  1071.         else
  1072.           {
  1073.             assert (ph->bloc_start + b->size > ph->end);
  1074.           }
  1075.         ph = ph->prev;
  1076.           }
  1077.       }
  1078.     pb = b;
  1079.       }
  1080.  
  1081.     assert (last_bloc == pb);
  1082.  
  1083.     if (last_bloc)
  1084.     assert (last_bloc->data + last_bloc->size == break_value);
  1085.     else
  1086.     assert (first_heap->bloc_start == break_value);
  1087. }
  1088. #endif /* DEBUG */
  1089.